5 search results for "author:"Bertrand Jeannet""
Showing 1 - 5
-
APRON numerical abstract domain libraryv0.9.14LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 10 other packages25 Sep 2023
-
Logico-numerical domain(s) based on BDDs and APRON2.3.3LGPL-2.1-onlyUsed by 0 other packages08 Feb 2019
-
Utility Library (including various datatypes)1.3.3LGPL-2.1-onlyUsed by 1 other packages11 Mar 2021
-
OCaml interface to the CUDD BDD library3.0.7LGPL-2.1-onlyUsed by 1 other packages21 Jun 2021
-
OCaml interface to the GMP library1.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 4 other packages09 Feb 2024